101. Practical TLA+ :
پدیدآورنده : Hillel Wayne.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Programming languages (Electronic computers),SDL (Computer program language),Computer programming-- software development.,COMPUTERS-- Programming Languages-- General.,Programming & scripting languages: general.,Programming languages (Electronic computers),SDL (Computer program language),Software Engineering.
رده :
QA76
.
7
102. Practical cryptography :algorithms and implementations using C++
پدیدآورنده : edited by Saiful Azad, Al-Sakib Khan Pathan
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی همدان (همدان)
موضوع : ، Data encryption )Computer science(,، Coding theory,Data processing ، Cryptography,، C++ )Computer program language(,، COMPUTERS / Programming Languages / General,، COMPUTERS / Software Development & Engineering / General,، COMPUTERS / Security / Cryptography
رده :
QA
76
.
9
.
A25
P725
103. Practical database programming with Visual C♯.NET /
پدیدآورنده : Ying Bai.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Microsoft .NET Framework.,Microsoft Visual C♯ .NET.,Microsoft Visual C♯ .NET.,C# (Computer program language),Database design.,C♯ (Computer program language),COMPUTERS-- Digital Media-- General.,COMPUTERS-- Interactive & Multimedia.,COMPUTERS-- Web-- Site Design.,COMPUTERS-- Web-- User Generated Content.,Database design.
رده :
QA76
.
73
.
C154
B347
2010eb
104. Practical guide to computer simulations
پدیدآورنده : Hartmann, Alexander K.
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه صنعتي خواجه نصير الدين طوسى (طهران)
موضوع : ، Computer simulation,، C )Computer program language(,، Algorithms,، Debugging in computer science
رده :
QA
76
.
9
.
C65
H365
105. Practical microservices architectural patterns :
پدیدآورنده : Binildas Christudas ; foreword by Guy Pardon, Allard Buijze and Schahram Dustdar.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Application software-- Development.,Java (Computer program language),Software architecture.,Software engineering.,System design.,Application software-- Development.,Java (Computer program language),Software architecture.,Software engineering.,System design.
رده :
QA76
.
754
106. Practical numerical C programming :
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : C (Computer program language) ;
107. Practical statecharts in C/C++ :
پدیدآورنده : Miro Samek.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : C (Computer program language),C++ (Computer program language),Computer software-- Development.,Object-oriented programming (Computer science),Statecharts (Computer science),System design.,C (Computer program language),C++ (Computer program language),Computer software-- Development.,COMPUTERS-- Software Development & Engineering-- General.,COMPUTERS-- Software Development & Engineering-- Systems Analysis & Design.,Engenharia de produção.,Manufatura.,Object-oriented programming (Computer science),Statecharts (Computer science),System design.
رده :
QA76
.
9
.
S88
S258
2002b
108. Pro JAVA EE 5 performance management and optimization /
پدیدآورنده : Steven Haines.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Java (Computer program language),COMPUTERS-- Programming Languages-- C♯,COMPUTERS-- Programming Languages-- Java.,COMPUTERS-- Programming Languages-- Pascal.,Informatique.,Java (Computer program language),Java (Computer program language)
رده :
QA76
.
73
.
J38
H33
2006eb
109. Pro PHP Security /
پدیدآورنده : Chris Snyder and Michael Southwell.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : PHP (Computer program language),PHP (Langage de programmation),COMPUTERS-- Programming Languages-- C♯,COMPUTERS-- Programming Languages-- Java.,COMPUTERS-- Programming Languages-- Pascal.,Informatique.,PHP (Computer program language),PHP (Computer program language),PHP (Langage de programmation)
رده :
TK5105
.
59
S69x
2005eb
110. Proceedings of the 2nd International Conference on Green Communications and Networks 2012 (GCN 2012). Volume 5
پدیدآورنده : Yuhang Yang, Maode Ma, editors.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer networks -- Congresses.,TECHNOLOGY & ENGINEERING -- Telecommunications.,Telecommunication systems -- Congresses.
111. Professional C# 7 and .NET Core 2.0 /
پدیدآورنده : Christian Nagel.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Microsoft .NET Framework.,Microsoft .NET Framework.,C# (Computer program language),Web servers.,Web sites-- Design.,C# (Computer program language),COMPUTERS-- Programming-- Open Source.,COMPUTERS-- Software Development & Engineering-- General.,COMPUTERS-- Software Development & Engineering-- Tools.,Web servers.,Web sites-- Design.
رده :
QA76
.
73
.
C154
112. Program Transformation and Programming Environments
پدیدآورنده : edited by Peter Pepper.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.,Software engineering.
113. Real-Time C++ :
پدیدآورنده : Christopher Kormanyos.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : C++ (Computer program language),Microcontrollers.,Microprogramming.,Computer architecture.,Computer science.,Computer system failures.,COMPUTERS-- Programming Languages-- C++.,Computers, Special purpose.,Microprogramming.,Software engineering.
رده :
QA76
.
73
.
C153
K695
2015
114. Regex quick syntax reference :
پدیدآورنده : Zsolt Nagy.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : JavaScript (Computer program language),Computer programming-- software development.,COMPUTERS-- Programming Languages-- JavaScript.,JavaScript (Computer program language),Programming & scripting languages: general.,Software Engineering.,Web programming.
رده :
QA76
.
73
.
J39
N34
2018eb
115. Rigorous software development :
پدیدآورنده : José Bacelar Almeida [and others].
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer software-- Development.,Computer software-- Verification.,Computer software-- Development.,Computer software-- Verification.,Informatique.
رده :
QA76
.
76
.
V47
R54
2011
116. SDL '97 :
پدیدآورنده : Ana Cavalli
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : SDL (Computer program language)
117. Secure coding in C and C++ /
پدیدآورنده : Robert C. Seacord ; [foreword by Richard D. Pethia]
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : C (Computer program language),C++ (Computer program language),Computer security
رده :
QA76
.
9
.
A25
S368
2013
118. Server-side GPS and assisted-GPS in Java /
پدیدآورنده : Neil Harper.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Global Positioning System-- Computer networks.,Java (Computer program language),Java (Computer program language),TECHNOLOGY & ENGINEERING-- Remote Sensing & Geographic Information Systems.
رده :
G109
.
5
.
H376
2010eb
119. Software engineering
پدیدآورنده : Oscar Nierstrasz, Michel Lemoine (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Software engineering, Congresses.
120. Software engineering in C
پدیدآورنده : Darnell, Peter A.
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه صنعتي خواجه نصير الدين طوسى (طهران)
موضوع : ، Software engineering,، C )Computer program language(
رده :
QA
76
.
758
.
D37
